home *** CD-ROM | disk | FTP | other *** search

---

/ PC-Blue - MS DOS Public Domain Library / PC-Blue MS-DOS Public Domain Library - NYACC.iso / vol350 / prolog.arc / LOGIC.ARC     download all originals (max 1 GB)

Text (5)

Name	Format	# Lines	Size	Date
LOXED.PRO	Text File	283	10.9 KB	1987-04-03
SKOLEM.DOC	Text File	26	1013 b	1986-11-07
SKOLEM.OPS	Text File	12	384 b	1986-11-07
SKOLEM.PRO	Text File	141	4.3 KB	1986-11-07
WANG.PRO	Text File	96	3.0 KB	1987-04-03